Verified by practice